model category, model -category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of -categories
Model structures
for -groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant -groupoids
for rational -groupoids
for rational equivariant -groupoids
for -groupoids
for -groups
for -algebras
general -algebras
specific -algebras
for stable/spectrum objects
for -categories
for stable -categories
for -operads
for -categories
for -sheaves / -stacks
The model structure for right fibrations is a model category structure on the overcategory of simplicial sets over a given quasi-category , that presents the (∞,1)-category of right Kan fibrations of quasi-categories over
This is the -analog of the -category of categories fibered in groupoids over a category .
Similarly there is an analogous model structure for left fibrations that models left Kan fibrations, i.e. op-fibrations in ∞-groupoids
The extension of this from right fibrations to Cartesian fibrations and from left fibrations to coCartesian fibrations is the model structure for coCartesian fibrations.
The (∞,1)-Grothendieck construction relates this to the global model structure on functors that presents the (∞,1)-category of (∞,1)-functors (for left fibrations) and (for right fibrations).
The following model category structure is best understood with the (∞,1)-Grothendieck construction in mind, which it serves to model.
Recall from the discussion there that given a morphism of quasi-categories, the (∞,1)-functor that the left adjoint to the Grothendieck construction extracts from it is all encoded in the pushout in
where is the join of with the point, i.e. with an initial object freely adjoined to it.
More discussion of why this is the case is at Adjoints to the Grothendieck construction.
The model category structure described below declares that a morphism in the overcategory is a weak equivalence if it induces a weak equivalence of the quasi-categories given by these pushouts. So this is effectively saying that we regard a morphism of right fibration of quasi-categories as a weak equivalences, if under the left adjoint to the -Grothendieck construction it induces a weak equivalences of the -functors that classify these fibrations.
For a morphism of simplicial sets, write for the pushout
in the category sSet of simplicial sets. Call this the left cone over .
The colimits in sSet are computed componentwise, so that the set of vertices is the disjoint union of the vertices of and one extra vertex , the cone point.
The model structure for left fibrations or covariant model structure on is given by
A morphism is
a cofibration if the underlying morphism of simplicial sets is a cofibration in the standard model structure on simplicial sets, i.e. a monomorphism;
a weak equivalence if the induced morphism of cones
is a weak equivalence in the Joyal model structure for quasi-categories, where is the join .
This is a
We have
The fibrant objects are precisely the left fibrations (HTT, corollary 2.2.3.12)
Every left anodyne morphism is an acyclic cofibration. (HTT, prop 2.1.4.9)
An alternative characterization of this model structure is:
The model structure for left fibrations is the left Bousfield localization of the overcategory model structure on induced by the model structure for quasicategories on at the set of maps indexed by all the simplices of .
This is mentioned in Heuts-Moerdijk, p.5; see also this discussion.
Let be any simplicial set. Every morphism
in for which is left anodyne is a weak equivalence in the model structure for left fibrations.
This is HTT, prop. 2.1.4.6.
Recall from here that left anodyne morphisms are the weakly saturated class generated by the horn inclusions (i.e. under transfinite composition of retracts of pushouts). Therefore it is sufficient to check the statement for these generating morphisms.
By the definition of weak equivalences above, this means that we need to check that
is a weak equivalence in .
Observe that this is a pushout
of the inner anodyne morphism and therefore a weak equivalence.
To illustrate the above pushout property set for example. Start with a 2-simplex in . Then is the original simplicial set together with a tetrahedron built over . One face of the tetrahedron is the original 2-simplex in , the three others “stick out” of :
The simplicial set is accordingly the simplicial set with only two of the three faces of this tetrahedron over erected.
The map identifies the horn of this tetrahedron given by these two new faces and the original face .
The pushout therefore glues in the remaining face of the tetrahedron and fills it with a 3-cell.
For every morphism we have the corresponding adjunction on overcategories
where
is given by postcomposition of ;
is given by pullback along .
(change of base)
This is a Quillen adjunction with respect to the model structures for left fibrations over and , respectively. (HTT, prop. 2.1.4.10)
If is a weak equivalence in , then this is a Quillen equivalence. (HTT, remark. 2.1.4.11)
(-Grothendieck construction)
For a simplicially enriched category and its homotopy coherent nerve, there is a Quillen equivalence
between the model structure for left fibrations over and the global model structure on sSet-functors on with values in sSet equipped with the standard model structure on simplicial sets.
For more on this see (∞,1)-Grothendieck construction.
The operadic generalization is the
This is the content of section 2.1.4 of
There the model structure is called the covariant model structure and the model structure the contravariant model structure.
The alternative construction as a localization is mentioned in
Gijs Heuts, Ieke Moerdijk, Left fibrations and homotopy colimits, Mathematische Zeitschrift 279 (2015) 723–744 [doi:10.1007/s00209-014-1390-7, arXiv:1308.0704]
Gijs Heuts, Ieke Moerdijk, Left fibrations and homotopy colimits II [arXiv:1602.01274]
Further discussion:
Last revised on August 19, 2022 at 16:00:48. See the history of this page for a list of all contributions to it.